The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
Turbocharge Your AI: Introducing Twice Sequential Tree Search
dev.to·3d·
Discuss: DEV
🧮Kolmogorov Complexity
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·7h·
Discuss: Hacker News
📄Text Chunking
Flag this post
Infix Versus Prefix Operators
irreal.org·14h
🧠Lisp Dialects
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·12h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
A Loopy Holiday Gift Exchange
thefiddler.substack.com·1d·
Discuss: Substack
🔍Type Inference
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·9h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
It’s Not Always DNS: Exploring How Name Resolution Works
cefboud.com·1d·
Discuss: r/programming
🌐DNS Security
Flag this post
Weekly Update 479
troyhunt.com·1h
🔒Privacy Archives
Flag this post
Memchr: Optimized string search routines for Rust
github.com·3d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Recipe 8.6. Picking a Random Line from a File (Perl Cookbook)
csg.sph.umich.edu·11h
📝Text Compression
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·23h
📚Lempel-Ziv
Flag this post
Show HN: LexiForge – Auto-generate vocabulary flashcards from Kindle lookups
medium.com·20h·
Discuss: Hacker News
🌀Brotli Dictionary
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
New research reveals the cognitive hurdles created by our number systems
psypost.org·1d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Vibe coded free SEO long-tail keyword research tool in 5hrs with Google AI Studio
vibe.forem.com·19h·
Discuss: DEV
🌀Brotli Dictionary
Flag this post